|
|
Stochastic Weather Generators and Regional Climate Models: Rivals or Allies?
Dubrovský, Martin ; Štěpánek, Petr ; Meitner, Jan ; Zahradníček, Pavel
The paper demonstrates 'collaboration' between the stochastic weather generator SPAGETTA (WG) and Regional Climate Models (RCM) in analysing impacts of Climate Change (CC). In the first part of the paper, the generator is compared with the ensemble of 19 RCMs in terms of their ability to reproduce 11 spatial temperature and precipitation indices in eight European regions: the indices are based on registering days and spells exhibiting spatially significant occurrence of dry, wet, hot or cold weather, or possible combination of dryor-wet and hot-or-cold conditions. The obtained results indicate that both methodologies provide weather series of comparable quality. In the second part of the paper (which was done only for the Central Europe region), the WG parameters are modified using the RCM-based CC scenarios and the synthetic weather series representing the future climate are produced. This experiment is based on a set of CC scenarios, which consist of changes in selected combinations of following characteristics: (1) mean temperature, (2) temperature variability, (3) daily average precipitation (considering only wet days), (4) probability of wet day occurrence, (5) spatial lag-0 and lag-1day correlations of temperature and precipitation series. The synthetic series generated for each version of the CC scenario are analysed in terms the above mentioned spatial validation indices, the stress was put on effect of each of the five component of the CC scenario on individual validation indices. The results of the experiment indicate that the changes in temperature means is the main contributor to the changes in the validation obviously, except for the purely precipitation-based indices. Positive changes in the lag-0 and lag-1day correlations of both temperature and precipitation are the second most significant contributor to the changes in the validation indices.
|
|
|
Těžké tautologie
Pich, Ján ; Krajíček, Jan (advisor) ; Pudlák, Pavel (referee)
We investigate the unprovability of NP$\not\subseteq$P/poly in various fragments of arithmetic. The unprovability is usually obtained by showing hardness of propositional formulas encoding superpolynomial circuit lower bounds. Firstly, we discuss few relevant techniques and known theorems. Namely, natural proofs, feasible interpolation, KPT theorem, iterability, gadget generators etc. Then we prove some original results. We show the unprovability of superpolynomial circuit lower bounds for systems admitting certain forms of feasible interpolation (modulo a hardness assumption) and for systems roughly described as tree-like Frege systems working with formulas using only a small fraction of variables of the statement that is supposed to be proved. These results are obtained by proving the hardness of the Nisan-Wigderson generators in corresponding proof systems.
|
|
|
Těžké tautologie
Pich, Ján ; Krajíček, Jan (advisor) ; Pudlák, Pavel (referee)
We investigate the unprovability of NP$\not\subseteq$P/poly in various fragments of arithmetic. The unprovability is usually obtained by showing hardness of propositional formulas encoding superpolynomial circuit lower bounds. Firstly, we discuss few relevant techniques and known theorems. Namely, natural proofs, feasible interpolation, KPT theorem, iterability, gadget generators etc. Then we prove some original results. We show the unprovability of superpolynomial circuit lower bounds for systems admitting certain forms of feasible interpolation (modulo a hardness assumption) and for systems roughly described as tree-like Frege systems working with formulas using only a small fraction of variables of the statement that is supposed to be proved. These results are obtained by proving the hardness of the Nisan-Wigderson generators in corresponding proof systems.
|
|
|
Construction and Realisation of Function Generator and its Application
CHALOUPEK, Pavel
This work contains problems of generators of a waveform signal. There is described a principle of a generator of a waveform signal, its circuits, its principle, a signal shaping, and its eventual utilization. Then there is created a design of a circuit of a realized generator and subsequently a practical realization of the generator of a waveform signal, its construction, its activation, its setting up and a measuring of output parameters. In conclusion there is mentioned an utilization of the realized generator in a laboratory work and an application of this work including a setting and a resolution of the laboratory work for pupils of secondary schools.
|
guest ::
